Approximate Formulae for Stabi ity Calculation
نویسندگان
چکیده
منابع مشابه
Approximate Quantifier Elimination for Propositional Boolean Formulae
This paper describes an approximate quantifier elimination procedure for propositional Boolean formulae. The method is based on computing prime implicants using SAT and successively refining overapproximations of a given formula. This construction naturally leads to an anytime algorithm, that is, it can be interrupted at anytime without compromising soundness. This contrasts with classical mono...
متن کاملApproximate Closed-form Formulae for Buckling Analysis of Rectangular Tubes under Torsion
The buckling torque may be much less than the yield torque in very thin rectangular tubes under torsion. In this paper, simple closed-form formulae are presented for buckling analysis of long hollow rectangular tubes under torsion. By the presented formulae, one can obtain the critical torque or the critical angle of twist of the tube in terms of its geometrical parameters and material constant...
متن کاملApproximate Sampling Formulae for General Finite-alleles Models of Mutation
Many applications in genetic analyses utilize sampling distributions, which describe the probability of observing a sample of DNA sequences randomly drawn from a population. In the one-locus case with special models of mutation, such as the infinite-alleles model or the finite-alleles parent-independent mutation model, closed-form sampling distributions under the coalescent have been known for ...
متن کاملOn the Approximate Calculation of Double Integrals
Cubature formulas are obtained which are optimal or asymptotically optimal on given sets of functions. These formulas consist of line integrals which may be evaluated by optimal or asymptotically optimal quadrature formulas. The advantage of these formulas over the optimal and asymptotically optimal cubature formulas with rectangular-lattices of knots is shown.
متن کاملApproximate Reconstruction Formulae for the Cone Beam Transform I (an Unpublished Manuscript from November 1987)
In this paper we present a method for deriving approximate inversion formulae for the divergent beam x-ray transform in three-space when the source set is a curve. When the source set is a planar convex curve, we obtain new approximate inversion formulae which are quasi-local. Finally we compare these methods with existing convolutionbackprojection algorithms for 3-D reconstruction. * Supported...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Zosen Kiokai
سال: 1937
ISSN: 1884-2054
DOI: 10.2534/jjasnaoe1903.1937.41